Search Results
[Session Previews @ POPL'23] Program Analysis & Parsing
Live Functional Programming with Typed Holes
Analysis and Testing for Probabilistic Programming - Sasa Misailovic
Reconciling Enumerative and Deductive Program Synthesis
ICFP 2020 Session Asia 1
ICFP 2020 Session Asia 6
HotOS 2021: UNIX Shell Programming: The Next 50 Years (Fun Applications)
functions-mapping-to-webservices-and-serverless
Code + AI: Will Robots Take Our Coding Jobs? ML Applied to Programming • Stephen Magill • GOTO 2019
Art of doing disruptive research
Cadenza: Building Fast Functional Languages Fast • Edward Kmett • YOW! 2020
FAST '21 - On the Feasibility of Parser-based Log Compression in Large-Scale Cloud Systems
![[Session Previews @ POPL'23] Program Analysis & Parsing](https://img.youtube.com/vi/9KoGJvreh_g/hqdefault.jpg)
